#include "util/time.h"
#include <sys/time.h>


int64 GetCurrentTime() {
  timeval tv;
  gettimeofday(&tv, NULL);
  int64 t = tv.tv_sec;
  t = t * 1000000 + tv.tv_usec;
  return t;
}
